An Algebraic Specification of the Steam-Boiler Control System
نویسندگان
چکیده
In Formal methods for industrial applications: specifying and programming the steam boiler control,
منابع مشابه
An Object-Oriented Algebraic Steam-Boiler Control Specification
Abstrac t . In this paper an object-oriented algebraic solution of the steam-boiler specification problem is presented. The solution is written in Timed Maude. Timed Maude is a specification language under development where the static parts of the specified system are described by equational specifications, whereas the behaviour of a process is described by timed term rewriting. Timed Maude is ...
متن کاملSpecifying and Verifying the Steam-Boiler Control System with Time Extended LOTOS
The paper presents a specification of the steam boiler system in Time Extended LOTOS as an example to describe real-time, hybrid systems containing parts with discrete and continuous behavior in a time extended process-algebraic formalism. The specification has been developed in three design steps — the specification of functional behavior in LOTOS, the specification of timed behavior in TE-LOT...
متن کاملCreating A Validated Implementation Of The Steam Boiler Control
SPIN is a tool for the simulation and veri cation of protocols. PROMELA, its source language, is a formal description technique like SDL and Estelle that is based on communicating state machines. The tool and the language are in the public domain and therefore widely used. The "SteamBoiler Control Speci cation Problem" consists of an informal speci cation of a steam boiler system in a nuclear p...
متن کاملMathematical Methods in Program Development. Springer-Verlag, 1996.
Relational transducers mapping sequences of input relations to sequences of output relations are proposed for high-level declarative specifications of business models. See [404] for a related class of ASM-transducers. Contains the problem description for the steam boiler control competition [7] and 22 proposed solutions obtained using the major known formal methods, with text and complete docum...
متن کاملStructural and Behavioral Models of the Steam-Boiler Control System
This paper presents a system specification of the steam boiler control system described in [?]: To manage complexity and to foster separation of concerns the design model is divided into three views: The architectural view specified with object and class diagrams, the reactive view specified with statecharts, and the functional view specified with Z. A systematic relationship between the reacti...
متن کامل